Structural type system